Dynamic Game Logic of Communication
نویسندگان
چکیده
منابع مشابه
Communication in Concurrent Dynamic Logic
Communication mechanisms are introduced into the program schemes of Concurrent Dynamic Logic, on both the propositional and the first-order levels. The elfects of these mechanisms (particularly, channels, shared variables, and “message collectors”) on issues of expressiveness and decidability are investigated. In general, we find that both respects are dominated by the extent to which the capab...
متن کاملStrategies made explicit in Dynamic Game Logic
We propose an explicit logic of strategies (SDGL) in the Dynamic Game Logic (DGL) framework and provide a complete axiomatization for this logic. Some discussions are put forward regarding SDGL and DGL, raising an interesting issue about their combination.
متن کاملAnalyzing Communication with Dynamic Epistemic Logic
This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic [22, 2, 3, 1] to PDL given in [17] and pres...
متن کاملdynamic coloring of graph
در این پایان نامه رنگ آمیزی دینامیکی یک گراف را بیان و مطالعه می کنیم. یک –kرنگ آمیزی سره ی رأسی گراف g را رنگ آمیزی دینامیکی می نامند اگر در همسایه های هر رأس v?v(g) با درجه ی حداقل 2، حداقل 2 رنگ متفاوت ظاهر شوند. کوچکترین عدد صحیح k، به طوری که g دارای –kرنگ آمیزی دینامیکی باشد را عدد رنگی دینامیکی g می نامند و آنرا با نماد ?_2 (g) نمایش می دهند. مونت گمری حدس زده است که تمام گراف های منتظم ...
15 صفحه اولDynamic Decision-Making in Logic Programming and Game Theory
We present a framework for decision making with circumstance-dependent preferences and decisions. This formalism, called Ordered Choice Logic Programming, allows decisions that comprise multiple alternatives, which become available only when a choice between them is forced. The skeptical semantics is based on answer sets for which we provide a fixpoint characterization and a bottom-up algorithm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Institute of Systems, Control and Information Engineers
سال: 2019
ISSN: 1342-5668,2185-811X
DOI: 10.5687/iscie.32.429